(declare-const v1 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const i1 Int)
(declare-const i2 Int)
(declare-const i9 Int)
(declare-const i16 Int)
(declare-const arr-335164573024950838_5924631108130538761-0 (Array Bool Int))
(declare-const arr-5924631108130538761_335164573024950838-0 (Array Int Bool))
(declare-const arr-335164573024950838_-2766224695708123952-0 (Array Bool (Array Int Bool)))
(declare-const arr--2766224695708123952_5325171649575969553-0 (Array (Array Int Bool) (Array Bool (Array Int Bool))))
(declare-const v18 Bool)
(declare-const arr--2766224695708123952_335164573024950838-0 (Array (Array Int Bool) Bool))
(declare-const arr-335164573024950838_5924631108130538761-3 (Array Bool Int))
(assert (or (distinct (select arr--2766224695708123952_5325171649575969553-0 (select arr-335164573024950838_-2766224695708123952-0 (> (abs 25) i16))) (select arr--2766224695708123952_5325171649575969553-0 (select arr-335164573024950838_-2766224695708123952-0 v8))) v7 (distinct (select arr--2766224695708123952_5325171649575969553-0 (select arr-335164573024950838_-2766224695708123952-0 (> (abs 25) i16))) (select arr--2766224695708123952_5325171649575969553-0 (select arr-335164573024950838_-2766224695708123952-0 v8)))))
(assert (or (distinct 85 i9) (distinct arr-335164573024950838_-2766224695708123952-0 arr-335164573024950838_-2766224695708123952-0 (store (store arr-335164573024950838_-2766224695708123952-0 v4 arr-5924631108130538761_335164573024950838-0) v1 (select arr-335164573024950838_-2766224695708123952-0 (> (abs 25) i16)))) (=> v18 v5)))
(check-sat)
